Replication package for article "PEQcheck: Localized and context-aware checking of functional equivalence"

# Replication Package for Article "PEQcheck: Localized and context-aware checking of functional equivalence", FormaliSE'21 This replication package supports the reexecution of the experiments in our FormaliSE 2021 publication "M.-C. Jakobs: PEQcheck: Localized and context-aware checking of functional equivalence". PEQcheck is an approach for functional equivalence checking. Its focus is on checking C programs parallelized with OpenMP. It also supports checking of pairs of two sequential C programs. This replication package contains a virtual machine (VM) with all components necessary to reexecute our experiments. VM username: peqcheck VM password: peqcheck The VM is tested with VirtualBox 6.1.18. ## License The VM runs Ubuntu 18.04, with g++, make, Java 11, the ROSE compiler framework, etc.. Ubuntu and its software components are licensed under various licenses. The VM furthermore contains the implementation of the PEQcheck encoding as well as tools Z3, CIVL, and CPAchecker, which are all licensed under different licenses. The VM documents their license